Theory of computation - PDFSEARCH.IO - Document Search Engine

Theory of computation
Results: 2087

#	Item
91	Forecasting Run-Times of Secure Two-Party Computation Axel Schr¨opfer Florian Kerschbaum Add to Reading List Source URL: www.fkerschbaum.org Language: English - Date: 2011-09-10 05:30:51 Cryptography Cryptographic hash functions Information theory Secure multi-party computation Transmission Control Protocol Bandwidth SHA-1 Internet protocol suite Computational complexity theory Network performance
92	A Note on the Switching Adiabatic Theorem Alexander Elgart ∗ and George A. Hagedorn ∗ Department of Mathematics, and Center for Statistical Mechanics, Mathematical Physics, Add to Reading List Source URL: www.math.vt.edu Language: English - Date: 2012-04-08 14:14:39 Quantum mechanics Theoretical physics Physics Adiabatic quantum computation Adiabatic theorem Perturbation theory Philosophy of physics
93	Parametricity and Proving Free Theorems for Functional-Logic Languages Stefan Mehner ∗ Daniel Seidel† Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2014-12-08 09:42:38 Theoretical computer science Models of computation Logic in computer science Mathematical logic Software engineering Denotational semantics Computability theory Symbol Proof theory Lambda calculus Generalised Whitehead product Programming Computable Functions
94	c 2005 Cambridge University Press JFP 15 (6), Meta-Programming through Typeful Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2005-06-23 21:20:00 Software engineering Theoretical computer science Logic Logic programming Models of computation Functional languages Computability theory Lambda calculus Substitution Standard ML Higher-order abstract syntax Security type system
95	What can a philosopher and logician do for your enterprise? v. 3, A series of un-ordered top ten lists with brief, non-exhaustive annotations to answer the question above follows. Top ten skills concerning philosophy in Add to Reading List Source URL: philosopher-animal.com Language: English - Date: 2006-11-11 18:49:37 Logic Philosophy Science Formal sciences Belief Thought Computability theory Theoretical computer science Mathematical logic Argument ChurchTuring thesis Computation
96	An Automated Confluence Proof for an Infinite Rewrite System via a Gr¨obner Basis Computation Loredana Tec∗ Research Institute for Symbolic Computation, Johannes Kepler University, Castle of Hagenberg, Austria 4032 lt Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-07-11 12:18:59 Algebra Abstract algebra Mathematics Polynomials Ring theory Algebras Differential operator Multivariable calculus Operator theory Associative algebra D-module Differential algebra
97	Black-Box Complexity—A Complexity Theory for Evolutionary Computation ´ Presenter: Benjamin Doerr, Ecole Polytechnique de Paris, France; email . Add to Reading List Source URL: www.conference123.org Language: English - Date: 2014-07-16 23:22:02 Evolution Computational complexity theory Theory of computation Metaphysics Analysis of algorithms Probabilistic complexity theory Cybernetics Applied mathematics Complexity Randomized algorithm Algorithm Evolutionary algorithm
98	Trade-offs between Selection Complexity and Performance when Searching the Plane without Communication∗ Christoph Lenzen Nancy Lynch Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-05-29 10:12:12 Computational complexity theory Analysis of algorithms Theory of computation Mathematics Edsger W. Dijkstra Algorithm Mathematical logic Theoretical computer science Time complexity Shortest path problem Asymptotically optimal algorithm Randomized algorithm
99	Finding Robust Strategies to Defeat Specific Opponents Using Case-Injected Coevolution Christopher Ballinger and Sushil Louis University of Nevada, Reno Reno, Nevada 89503 {caballinger, sushil}@cse.unr.edu Add to Reading List Source URL: eldar.mathstat.uoguelph.ca Language: English - Date: 2016-07-12 12:05:04 Gaming Game theory Cybernetics Video game genres Evolution Genetic algorithm Coevolution Strategy Real-time strategy The Evolution of Cooperation Evolutionary computation Evolutionary algorithm
100	Is Bioinformatics Possible? Philosophical problems and opportunities Johan Nyström-Persson, Level Five Co., Ltd and Australia-China Centre for Wheat Improvement Add to Reading List Source URL: www.monomorphic.org Language: English - Date: 2016-02-21 03:39:18 Theoretical computer science Alan Turing Computability theory Mathematics Software engineering Formal methods Models of computation Turing machine Turing Lambda calculus Affymetrix Computer science

UPDATE